A Game-based Architecture for Developing Interactive Components in Computational Logic

We present a game-based architecture for developing complex interactive components in computational logic. Interactive components are developed either as players making moves according to the rules of a game or as umpires that enforce the rules, thereby controlling the behaviours of players. Centralised organisations based on umpires and decentralised organisations based on autonomous players can then be combined to produce interactive systems of a very complex nature. The potential of the resulting methodology is exemplified by showing how to formulate interaction protocols for software agents in the context of connected community systems.